package global;

import java.awt.*;
import java.awt.font.FontRenderContext;

/**
 * 主题数据
 */
public class Theme {

    public Theme()
    {

    }

    public final int WIDTH = 1100;
    public final int HEIGHT = 780;

    public Color background = new Color(30, 30, 30);//全局背景

    /*菜单栏*/
    public Color enumbar = new Color(48, 48, 48);
    public int enumbar_height = 26;

    /*工具条*/
    public Color toolsbar = new Color(34, 34, 34);
    public int toolsbar_width = 20;//工具栏宽度
    public int toolbarframe_width = 350;//工具框宽度

    /*指示栏*/
    public Color indibar = new Color(35, 35, 35);
    public int indibar_height = 22;

    /*Page类*/
    public Color pagebg = new Color(25, 25, 25);
    public Color pagetopbar = new Color(40, 40, 40);
    public int pagetopbar_height = 30;

    /*texteditor*/
    public int scrollbar_width = 15;
    public Color editorarea = new Color(20, 20, 20);
    public Color editing_line = new Color(40, 40, 40);

    public int font_height = 14;
    public int vertical_space = 6;//行间距
    public Font editorfont = new Font("Noto Sans Mono", Font.PLAIN, font_height);
    public FontRenderContext textrender = new FontRenderContext(null, RenderingHints.VALUE_TEXT_ANTIALIAS_DEFAULT, RenderingHints.VALUE_FRACTIONALMETRICS_DEFAULT);
    public int charwidth = (int)editorfont.getStringBounds("a", textrender).getWidth();
    public int linenum_tab = 10;
    public Color linenum = new Color(122, 122, 122);
    public Color linenum_editing = new Color(180, 180, 180);
    public Color text_base_color = new Color(230, 230, 230);
    public Color caret = new Color(58, 100, 234);
    public Color text_chose_bg = new Color(103, 103, 103);
}
